1. <A> Roadmap for Formal Property Verification
پدیدآورنده : \ by Pallab Dasgupta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification,مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
2. Assertion-Based Design
پدیدآورنده : \ Harry Foster, Adam Krolnik, David Lacey
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدارهای مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)
رده :
E-Book
,
3. Comprehensive Functional Verification the Complete Industry Cycle
پدیدآورنده : \ Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستی‌آزمایی ,مهندسی کامپیوتر
رده :
E-Book
,
4. Generating Hardware Assertion Checkers
پدیدآورنده : \ Marc Boulé, Zeljko Zilic
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
5. Integrated Circuit Authentication
پدیدآورنده : \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
6. Trace-Based Post-Silicon Validation for VLSI Circuits
پدیدآورنده : \ Xiao Liu, Qiang Xu
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
